icarus moore moore_parse odin slang surelog sv2v_zachjs sv_parser tree_sitter_verilog verible verilator yosys
Various sanity checks sanity 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
SweRV RISC-V core swerv 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 0/1
Ibex RISC-V core ibex 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
FX68K m68k core fx68k 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Tests imported from Yosys yosys 9/184 15/184 145/184 87/184 167/184 184/184 172/184 184/184 164/184 176/184 167/184 154/184
Tests imported from hdlConvertor hdlconv 0/305 34/305 94/305 242/305 69/305 281/305 86/305 305/305 190/305 261/305 65/305 44/305
Tests imported from utd-SystemVerilog utd-sv 0/295 8/295 289/295 112/295 119/295 294/295 287/295 295/295 272/295 294/295 124/295 286/295
Tests imported from UVM uvm 0/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1
Tests imported from Basejump STL basejump 0/292 13/292 148/292 292/292 103/292 282/292 284/292 292/292 0/292 289/292 94/292 0/292
Ariane RISC-V core ariane 0/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1
SCR1 RISC-V core scr1 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Taiga RISC-V core taiga 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
BlackParrot RISC-V core blackparrot 0/2 0/2 0/2 2/2 0/2 0/2 1/2 2/2 0/2 0/2 0/2 0/2
RSD RISC-V core rsd 0/1 0/1 0/1 1/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1
Tests imported from ivtest ivtest 0/2245 182/2034 1480/2034 1507/2034 1398/2034 2005/2245 1542/2034 2034/2034 43/2034 1978/2034 1491/2245 409/2245
White space 5.3 6/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 0/1 1/1 7/7 7/7
Comments 5.4 6/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 1/1 1/1 7/7 7/7
Identifiers, keywords, and system names 5.6 1/2 2/2 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Escaped identifiers 5.6.1 0/2 1/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Keywords 5.6.2 248/248 244/248 244/248 51/248 248/248 243/248 248/248 248/248 2/248 246/248 248/248 85/248
System tasks and system functions 5.6.3 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1
Compiler directives 5.6.4 31/98 21/98 28/98 98/98 98/98 93/98 98/98 98/98 64/66 63/66 97/98 39/98
Integer literal constants 5.7.1 2/64 7/64 7/64 62/64 64/64 63/64 64/64 64/64 64/64 64/64 64/64 9/64
Real literal constants 5.7.2 1/58 1/58 2/58 57/58 58/58 58/58 58/58 58/58 58/58 58/58 58/58 3/58
Time literals 5.8 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
String literals 5.9 0/4 3/4 4/4 4/4 3/4 4/4 4/4 4/4 2/4 4/4 3/4 2/4
Special characters in strings 5.9.1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1
Structure literals 5.10 0/4 0/3 3/3 3/3 3/3 3/4 3/3 3/3 3/3 3/3 2/4 1/4
Array literals 5.11 0/3 0/3 3/3 3/3 3/3 3/3 2/3 3/3 3/3 3/3 3/3 0/3
Attributes 5.12 0/5 5/5 5/5 5/5 5/5 5/5 3/5 5/5 5/5 5/5 5/5 5/5
Built-in methods 5.13 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Nets and variables 6.5 0/4 1/1 1/1 1/1 1/1 1/4 1/1 1/1 1/1 1/1 1/4 2/4
Wire and tri nets 6.6.1 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2
Unresolved nets 6.6.2 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Wired nets 6.6.3 0/4 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 2/4
Trireg net 6.6.4 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Tri0 and tri1 nets 6.6.5 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
Supply nets 6.6.6 0/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
User-defined nettypes 6.6.7 0/2 0/2 0/2 2/2 1/2 2/2 0/2 2/2 2/2 0/2 0/2 0/2
Generic interconnect 6.6.8 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1
Specifying vectors 6.9.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Vector net accessibility 6.9.2 1/3 3/3 3/3 1/3 3/3 3/3 1/3 3/3 3/3 1/3 3/3 1/3
Implicit declarations 6.10 0/3 1/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3
Integer data types 6.11 0/27 27/27 27/27 23/27 27/27 27/27 27/27 27/27 27/27 27/27 27/27 8/27
Real, shortreal, and realtime data types 6.12 0/6 0/3 3/3 3/3 3/3 3/6 3/3 3/3 3/3 3/3 6/6 3/6
Void data type 6.13 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Chandle data type 6.14 0/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1
Class 6.15 0/57 39/57 39/57 57/57 0/57 57/57 0/57 57/57 56/57 57/57 1/57 0/57
String data type 6.16 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Len() 6.16.1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Putc() 6.16.2 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Getc() 6.16.3 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Toupper() 6.16.4 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Tolower() 6.16.5 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Compare() 6.16.6 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Icompare() 6.16.7 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Substr() 6.16.8 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Atoi(), atohex(), atooct(), atobin() 6.16.9 0/4 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4
Atoreal() 6.16.10 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Itoa() 6.16.11 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Hextoa() 6.16.12 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Octtoa() 6.16.13 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Bintoa() 6.16.14 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Realtoa() 6.16.15 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Event data type 6.17 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
User-defined types 6.18 1/30 20/28 20/28 27/28 24/28 27/30 22/28 27/28 24/28 27/28 26/30 6/30
Enumerations 6.19 1/6 2/4 2/4 3/4 4/4 3/6 3/4 3/4 3/4 3/4 5/6 3/6
Defining new data types as enumerated types 6.19.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Enumerated type ranges 6.19.2 0/2 1/2 1/2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2
Type checking 6.19.3 0/2 1/1 1/1 1/1 1/1 1/2 1/1 1/1 1/1 1/1 1/2 1/2
Enumerated types in numerical expressions 6.19.4 0/3 0/2 2/2 2/2 2/2 2/3 2/2 2/2 2/2 2/2 2/3 1/3
First() 6.19.5.1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Last() 6.19.5.2 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Next() 6.19.5.3 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Prev() 6.19.5.4 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Num() 6.19.5.5 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Name() 6.19.5.6 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Value parameters 6.20.2 0/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 5/6 6/6 6/6 5/6
$ as a parameter value 6.20.2.1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Type parameters 6.20.3 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Local parameters (localparam) 6.20.4 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Specify parameters 6.20.5 0/2 0/1 0/1 1/1 0/1 1/2 0/1 1/1 1/1 1/1 2/2 1/2
Const constants 6.20.6 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Type operator 6.23 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Cast operator 6.24.1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
$cast dynamic casting 6.24.2 0/2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 0/2 2/2 0/2 0/2
Bit-stream casting 6.24.3 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
General 7.1 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 2/2 0/2
Structures 7.2 0/5 4/5 4/5 5/5 5/5 5/5 5/5 5/5 1/5 5/5 5/5 0/5
Packed structures 7.2.1 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3 3/3 3/3 0/3
Assigning to structures 7.2.2 0/2 1/1 1/1 1/1 1/1 1/2 0/1 1/1 0/1 1/1 1/2 1/2
Unions 7.3 0/2 1/2 1/2 2/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 0/2
Packed unions 7.3.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Tagged unions 7.3.2 0/2 0/2 0/2 2/2 0/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2
Packed and unpacked arrays 7.4 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Packed arrays 7.4.1 0/9 9/9 9/9 9/9 7/9 9/9 9/9 9/9 1/9 9/9 9/9 2/9
Unpacked arrays 7.4.2 0/13 1/13 3/13 13/13 3/13 13/13 5/13 13/13 1/13 13/13 3/13 1/13
Operations on arrays 7.4.3 0/14 7/13 13/13 13/13 13/13 14/14 13/13 13/13 0/13 13/13 11/14 0/14
Memories 7.4.4 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 1/2
Multidimensional arrays 7.4.5 0/4 2/4 4/4 4/4 4/4 4/4 4/4 4/4 2/4 4/4 4/4 0/4
Indexing and slicing of arrays 7.4.6 0/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 1/2 0/2
Dynamic arrays 7.5 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1
New[ ] 7.5.1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Size() 7.5.2 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Delete() 7.5.3 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Array assignments 7.6 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Arrays as arguments to subroutines 7.7 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Associative arrays 7.8 0/9 3/9 3/9 9/9 0/9 9/9 0/9 9/9 5/9 9/9 4/9 0/9
Wildcard index type 7.8.1 0/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
String index 7.8.2 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1
Class index 7.8.3 0/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Integral index 7.8.4 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1
Other user-defined types 7.8.5 0/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Accessing invalid indices 7.8.6 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Allocating associative array elements 7.8.7 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Associative array methods 7.9 0/9 0/9 0/9 9/9 0/9 9/9 0/9 9/9 0/9 9/9 9/9 0/9
Num() and size() 7.9.1 0/4 0/4 0/4 4/4 0/4 4/4 0/4 4/4 0/4 4/4 4/4 0/4
Delete() 7.9.2 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Exists() 7.9.3 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
First() 7.9.4 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Last() 7.9.5 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Next() 7.9.6 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Prev() 7.9.7 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Arguments to traversal methods 7.9.8 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Associative array assignment 7.9.9 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Associative array arguments 7.9.10 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Associative array literals 7.9.11 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Queues 7.10 0/13 1/13 2/13 13/13 0/13 13/13 0/13 13/13 1/13 13/13 2/13 0/13
Queue operators 7.10.1 0/2 0/2 2/2 2/2 0/2 2/2 0/2 2/2 0/2 2/2 1/2 0/2
Queue methods 7.10.2 0/9 1/9 9/9 9/9 0/9 9/9 0/9 9/9 0/9 9/9 8/9 0/9
Size() 7.10.2.1 0/2 1/2 2/2 2/2 0/2 2/2 0/2 2/2 0/2 2/2 2/2 0/2
Insert() 7.10.2.2 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Delete() 7.10.2.3 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Pop_front() 7.10.2.4 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Pop_back() 7.10.2.5 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Push_front() 7.10.2.6 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Push_back() 7.10.2.7 0/2 0/2 2/2 2/2 0/2 2/2 0/2 2/2 0/2 2/2 2/2 0/2
Persistence of references to elements of a queue 7.10.3 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Updating a queue using assignment and unpacked array concatenation 7.10.4 0/6 2/6 2/6 6/6 0/6 6/6 0/6 6/6 0/6 6/6 0/6 0/6
Bounded queues 7.10.5 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Array querying functions 7.11 0/8 8/8 8/8 8/8 6/8 8/8 8/8 8/8 0/8 8/8 8/8 1/8
Array manipulation methods 7.12 0/10 0/10 0/10 10/10 0/10 10/10 0/10 10/10 0/10 10/10 0/10 0/10
Array locator methods 7.12.1 0/11 0/11 0/11 11/11 0/11 11/11 0/11 11/11 0/11 11/11 0/11 0/11
Array ordering methods 7.12.2 0/6 0/6 0/6 6/6 0/6 6/6 0/6 6/6 0/6 6/6 0/6 0/6
Array reduction methods 7.12.3 0/5 0/5 0/5 5/5 0/5 5/5 2/5 5/5 0/5 5/5 0/5 0/5
Iterator index querying 7.12.4 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Syntax 8.3 0/125 68/125 68/125 125/125 0/125 125/125 0/125 125/125 123/125 125/125 1/125 0/125
Objects (class instance) 8.4 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Object properties and object parameter data 8.5 0/3 0/3 0/3 3/3 0/3 3/3 0/3 3/3 0/3 3/3 0/3 0/3
Object methods 8.6 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Constructors 8.7 0/3 0/3 1/3 2/3 0/3 3/3 0/3 3/3 0/3 3/3 0/3 0/3
Typed constructor calls 8.8 0/2 0/2 0/2 0/2 0/2 2/2 0/2 2/2 0/2 2/2 0/2 0/2
Static class properties 8.9 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Static methods 8.10 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
This 8.11 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Assignment, renaming, and copying 8.12 0/2 0/2 0/2 2/2 0/2 2/2 0/2 2/2 0/2 2/2 0/2 0/2
Inheritance and subclasses 8.13 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Overridden members 8.14 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Super 8.15 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Casting 8.16 0/2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 0/2 2/2 0/2 0/2
Chaining constructors 8.17 0/2 0/2 1/2 0/2 0/2 2/2 0/2 2/2 0/2 1/2 0/2 0/2
Data hiding and encapsulation 8.18 0/10 2/5 2/5 2/5 0/5 5/10 0/5 5/5 2/5 5/5 5/10 5/10
Constant class properties 8.19 0/2 2/2 2/2 2/2 0/2 2/2 0/2 2/2 2/2 2/2 0/2 0/2
Virtual methods 8.20 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Abstract classes and pure virtual methods 8.21 0/2 0/1 0/1 0/1 0/1 1/2 0/1 1/1 0/1 1/1 1/2 1/2
Polymorphism: dynamic method lookup 8.22 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Class scope resolution operator :: 8.23 0/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Out-of-block declarations 8.24 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Parameterized classes 8.25 0/2 0/2 0/2 2/2 0/2 2/2 0/2 2/2 1/2 2/2 0/2 0/2
Class scope resolution operator for parameterized classes 8.25.1 0/2 0/1 0/1 1/1 0/1 1/2 0/1 1/1 0/1 1/1 1/2 1/2
Interface classes 8.26 0/11 0/11 0/11 11/11 0/11 11/11 0/11 11/11 11/11 11/11 0/11 0/11
Extends versus implements 8.26.2 0/4 0/4 0/4 1/4 0/4 4/4 0/4 4/4 0/4 4/4 0/4 0/4
Type access 8.26.3 0/3 0/2 0/2 2/2 0/2 2/3 0/2 2/2 1/2 2/2 1/3 1/3
Type usage restrictions 8.26.4 0/2 0/2 2/2 2/2
Casting and object reference assignment 8.26.5 0/2 0/1 0/1 1/1 0/1 1/2 0/1 1/1 0/1 1/1 1/2 1/2
Method name conflict resolution 8.26.6.1 0/2 0/1 0/1 0/1 0/1 1/2 0/1 1/1 0/1 1/1 1/2 1/2
Parameter and type declaration inheritance conflicts and resolution 8.26.6.2 0/2 0/1 0/1 1/1 0/1 1/2 0/1 1/1 1/1 1/1 0/2 1/2
Diamond relationship 8.26.6.3 0/2 0/1 0/1 1/1 0/1 1/2 0/1 1/1 1/1 1/1 0/2 1/2
Partial implementation 8.26.7 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Typedef class 8.27 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Initial procedures 9.2.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
General purpose always procedure 9.2.2.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Combinational logic always_comb procedure 9.2.2.2 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Latched logic always_latch procedure 9.2.2.3 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Sequential logic always_ff procedure 9.2.2.4 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Final procedures 9.2.3 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Sequential blocks 9.3.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Parallel blocks 9.3.2 0/3 0/3 3/3 0/3 3/3 3/3 1/3 3/3 3/3 3/3 0/3 0/3
Statement block start and finish times 9.3.3 0/3 0/2 1/2 0/2 1/2 2/3 2/2 2/2 2/2 2/2 1/3 1/3
Block names 9.3.4 0/2 1/2 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2
Statement labels 9.3.5 0/2 1/2 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 0/2
Delay control 9.4.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Event control 9.4.2 0/3 3/3 3/3 2/3 3/3 3/3 2/3 3/3 3/3 3/3 3/3 2/3
Event OR operator 9.4.2.1 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Implicit event_expression list 9.4.2.2 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Conditional event controls 9.4.2.3 0/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1
Sequence events 9.4.2.4 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1
Level-sensitive event control 9.4.3 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Intra-assignment timing controls 9.4.5 0/7 1/7 1/7 3/7 0/7 7/7 3/7 7/7 7/7 7/7 2/7 2/7
Wait fork statement 9.6.1 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Disable statement 9.6.2 0/2 0/2 2/2 0/2 0/2 2/2 0/2 2/2 2/2 2/2 1/2 0/2
Disable fork statement 9.6.3 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Fine-grain process control 9.7 0/4 0/4 0/4 0/4 0/4 4/4 0/4 4/4 0/4 4/4 0/4 0/4
Continuous assignments 10.3 0/1 0/1 1/1 0/1
The net declaration assignment 10.3.1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
The continuous assignment statement 10.3.2 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Continuous assignment delays 10.3.3 0/2 0/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 1/2 2/2 2/2
Continuous assignment strengths 10.3.4 0/24 0/24 0/24 0/24 24/24 24/24 0/24 24/24 24/24 0/24 0/24 0/24
Blocking procedural assignments 10.4.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Nonblocking procedural assignments 10.4.2 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
The assign and deassign procedural statements 10.6.1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
The force and release procedural statements 10.6.2 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Operators 11.3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3
Operator expression short circuiting 11.3.5 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Assignment within an expression 11.3.6 1/2 1/2 1/2 1/2 2/2 2/2 1/2 2/2 2/2 2/2 1/2 1/2
Assignment operators 11.4.1 0/13 13/13 13/13 13/13 13/13 13/13 13/13 13/13 13/13 13/13 13/13 0/13
Increment and decrement operators 11.4.2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
Arithmetic operators 11.4.3 0/6 5/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 0/6
Relational operators 11.4.4 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4
Equality operators 11.4.5 0/4 2/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4
Wildcard equality operators 11.4.6 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 0/2
Logical operators 11.4.7 0/4 2/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 3/4 4/4 0/4
Bitwise operators 11.4.8 0/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 0/5
Reduction operators 11.4.9 0/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 0/7
Shift operators 11.4.10 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4
Conditional operator 11.4.11 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Concatenation operators 11.4.12 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Replication operator 11.4.12.1 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
String concatenation 11.4.12.2 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 2/2 0/2
Set membership operator 11.4.13 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Concatenation of stream_expressions 11.4.14.1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Re-ordering of the generic stream 11.4.14.2 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1
Streaming concatenation as an assignment target (unpack) 11.4.14.3 0/3 0/2 2/2 2/2 0/2 2/3 2/2 2/2 0/2 2/2 2/3 1/3
Streaming dynamically sized data 11.4.14.4 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1
Vector bit-select and part-select addressing 11.5.1 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4
Array and memory addressing 11.5.2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 2/2
Signed expressions 11.7 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Tagged union expressions and member access 11.9 0/3 0/2 0/2 2/2 0/2 2/3 0/2 2/2 2/2 0/2 1/3 1/3
String literal expressions 11.10 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
String literal operations 11.10.1 0/3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3 3/3 3/3 0/3
Empty string literal handling 11.10.3 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Minimum, typical, and maximum delay expressions 11.11 0/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1
Let construct 11.12 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Conditional if-else statement 12.4 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
if-else-if construct 12.4.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-if, unique0-if, and priority-if 12.4.2 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3
Case statement 12.5 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Case statement with do-not-cares 12.5.1 0/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Constant expression in case statement 12.5.2 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-case, unique0-case, and priority-case 12.5.3 0/9 9/9 9/9 3/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9
Set membership case statement 12.5.4 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Pattern matching in case statements 12.6.1 0/3 0/3 0/3 1/3 0/3 3/3 0/3 3/3 0/3 3/3 0/3 0/3
Pattern matching in if statements 12.6.2 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1
Pattern matching in conditional expressions 12.6.3 0/1 0/1 0/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1
The for-loop 12.7.1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
The repeat loop 12.7.2 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
The foreach-loop 12.7.3 0/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
The while-loop 12.7.4 0/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
The do...while-loop 12.7.5 0/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
The forever-loop 12.7.6 0/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1
Jump statements 12.8 0/4 1/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 4/4 0/4
Tasks 13.3 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1
Static and automatic tasks 13.3.1 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 1/2 0/2
Functions 13.4 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Return values and void functions 13.4.1 0/3 2/2 2/2 2/2 2/2 2/3 2/2 2/2 0/2 2/2 3/3 1/3
Static and automatic functions 13.4.2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 1/2 0/2
Constant functions 13.4.3 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
Background processes spawned by function calls 13.4.4 0/2 1/1 1/1 0/1 1/1 1/2 0/1 1/1 0/1 1/1 1/2 1/2
Clocking block declaration 14.3 0/4 0/4 0/4 3/4 0/4 4/4 0/4 4/4 4/4 4/4 0/4 0/4
Mailboxes 15.4 0/2 0/2 2/2 2/2 0/2 0/2 0/2 2/2 0/2 2/2 0/2 0/2
Overview 16.2 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3
Deferred assertions 16.4 0/6 3/6 3/6 6/6 6/6 6/6 0/6 6/6 6/6 6/6 6/6 0/6
Sequence operations 16.9 0/16 16/16 16/16 16/16 0/16 16/16 16/16 16/16 0/16 16/16 2/16 16/16
Declaring properties 16.12 0/5 5/5 5/5 4/5 5/5 5/5 5/5 5/5 5/5 5/5 4/5 0/5
Simulation control system tasks 20.2 0/3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3 3/3 2/3 0/3
Simulation time system functions 20.3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3 3/3 3/3 0/3
Timescale system tasks 20.4 0/3 2/3 3/3 3/3 0/3 3/3 3/3 3/3 0/3 3/3 0/3 0/3
Conversion functions 20.5 0/4 3/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 4/4 1/4
Data query functions 20.6 0/5 3/5 3/5 5/5 4/5 5/5 3/5 5/5 0/5 5/5 4/5 0/5
Array query functions 20.7 0/2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 0/2 2/2 2/2 0/2
Math functions 20.8 0/22 22/22 22/22 22/22 22/22 22/22 22/22 22/22 0/22 22/22 22/22 1/22
Bit vector system functions 20.9 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 2/4 0/4
Severity tasks 20.10 0/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 4/4 0/4
Sampled value system functions 20.13 0/16 16/16 16/16 16/16 0/16 16/16 16/16 16/16 0/16 16/16 2/16 16/16
Probabilistic distribution functions 20.15 0/8 8/8 8/8 8/8 1/8 8/8 8/8 8/8 0/8 8/8 1/8 0/8
Display system tasks 21.2 0/6 5/6 6/6 6/6 6/6 6/6 6/6 6/6 0/6 6/6 4/6 0/6
File input/output system tasks and system functions 21.3 0/17 17/17 17/17 17/17 12/17 17/17 17/17 17/17 0/17 17/17 13/17 0/17
Loading memory array data from a file 21.4 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 2/2 0/2
Command line input 21.6 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 2/2 2/2 0/2
Value change dump (VCD) files 21.7 0/2 1/2 2/2 2/2 0/2 2/2 2/2 2/2 0/2 2/2 2/2 0/2
Module definitions 23.2 0/2 1/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2
resetall 22.3 1/3 1/3 1/3 2/3 3/3 3/3 2/3 3/3 3/3 2/3
include 22.4 2/8 8/8 8/8 8/8 8/8 8/8 8/8 8/8 8/8 8/8
define 22.5.1 23/29 14/29 14/29 14/29 29/29 25/29 29/29 29/29 29/29 13/29
undef 22.5.2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
undefineall 22.5.3 2/2 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
ifdef, else, elsif, endif, ifndef 22.6 3/3 1/3 2/3 2/3 3/3 3/3 3/3 3/3 3/3 3/3
timescale 22.7 4/6 2/4 3/4 4/4 4/4 4/6 4/4 4/4 6/6 4/6
default_nettype 22.8 2/2 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2
unconnected_drive and nounconnected_drive 22.9 2/5 3/5 3/5 2/5 4/5 4/5 5/5 5/5 2/5 3/5
celldefine and endcelldefine 22.10 2/2 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
pragma 22.11 5/6 1/6 1/6 5/6 6/6 6/6 6/6 6/6 6/6 1/6
line 22.12 2/7 5/7 5/7 2/7 7/7 6/7 7/7 7/7 7/7 4/7
The program construct 24.3 0/1 0/1 0/1 1/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 0/1
Interface syntax 25.3 0/1 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Package declarations 26.2 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Referencing data in packages 26.3 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1
earlgrey 0/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1
Total tests passed 353/4574 976/4325 3024/4325 3129/4325 2733/4325 4235/4574 3251/4325 4323/4325 1220/4214 4049/4214 2837/4574 1231/4574
Total tags passed 7/308 88/306 181/306 243/306 170/306 267/308 173/306 304/306 136/294 267/294 182/308 49/308
Total time elapsed 0s 338s 392s 32s 53s 5435s 987s 345s 430s 7s 1711s 47s
User time elapsed 0s 101s 142s 27s 40s 5355s 832s 331s 365s 5s 1600s 40s
System time elapsed 0s 237s 251s 5s 13s 80s 155s 15s 65s 2s 110s 7s
Maximum ram usage 10 MB 1056 MB 61 MB 22 MB 1953 MB 1754 MB 1724 MB 283 MB 135 MB 65 MB 1450 MB 463 MB
Average throughput passed for inputs > 1KiB 0 KiB/s 1135 KiB/s 155 KiB/s 3630 KiB/s 1336 KiB/s 6 KiB/s 24 KiB/s 80 KiB/s 106 KiB/s 3862 KiB/s 80 KiB/s 503 KiB/s

Download a summary in csv